Notions of Equivalence in Software Design

Les méthodes de conception dans des systèmes d'information créent souvent des descriptions de logiciel en utilisant des langages formels. Néanmoins, la plupart des concepteurs de logiciel préfèrent décrire le logiciel en utilisant des langages naturels. Cette distinction n'est pas simplement une question de pragmatisme. Les langages naturels ne sont pas identiques à des langages formels; en particulier, langages naturels ne suivent pas les notions de l'équivalence employées par langages formels. En cet article, nous montrons l'existence et la coexistence de différentes notions de l'équivalence en un extension de la notion des oracles utilisés dans langages formels. Ceci permet à des distinctions d'être faites entre les oracles dignes de confiance assumés par des langages formels et les oracles non dignes de la confiance employés par des langages naturels. En examinant la notion de l'équivalence, nous espérons encourager les concepteurs de logiciel à repenser l'endroit de l'ambiguïté dans la conception de logiciel.